perm filename LSPDC1.PUB[BOO,JMC]1 blob sn#474758 filedate 1979-09-17 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.<< Assemble the parts of Recursive Programming in LISP>>
C00003 00003	.begin "ASSEMBLY"
C00004 00004	.INSERT CONTENTS
C00006 ENDMK
C⊗;
.<< Assemble the parts of Recursive Programming in LISP>>
.<< WARNING!!! be sure to turn off local pub commands before pubbing this file>>
.require "bkmac.pub[lsp,clt]" source_file
.odd heading(, {sname}, {page}) ;
.even heading({page}, {sname}, ) ;
.
.
.MACRO GET(FILE) ⊂ BEGIN "FILE" REQUIRE "FILE" SOURCE_FILE
.END "FILE" ⊃
.begin "ASSEMBLY"
.
.
.BEGIN "Title"
.pagehigh←54
.pagewide←80
.PAGE FRAME pagehigh HIGH pagewide WIDE;
.evenleftborder ← oddleftborder ← 1000;
.area title lines 16 to pagehigh;
.place title;
.sname ← SSNAME ← NULL
.PORTION TITLEPAGE
.FONT A "BEESIX";
.center select A
LISP
.SKIP 2
Programming and Proving
.SKIP 4
.skip 10
.select 1
.TURN ON "{}"
Copyright %8@%* {year} 
.skip
John McCarthy and Carolyn Talcott
.skip 2
Stanford University
.skip 3
This version printed at {time} on {date}.
.TURN OFF 
.END "Title"
.
.INSERT CONTENTS
.COUNT PAGE FROM 1 TO 999
.COUNT SECTION FROM 1 TO 999
.COUNT SUBSECTION IN SECTION FROM 1 TO 999
.NOTASSEMBLING ← FALSE
.BEGIN "Text"
.sname ← SSNAME ← NULL
.turnon "{}"
.PORTION MAINPORTION
.SET SECTIONPARS(,,Introduction,i)
.GET PREFAC
.SET SECTIONPARS(I,1,Chapter,1)
.itemmac
.eqnmac
.figmac
.tablemac
.GET READIN
.GET WRITIN
.GET PROVIN
.GET PROVEX
.GET IMPURE
.GET MACHIN
.<<GET SEARCH>>
.<<GET EXTEND>>
.<<GET ABSNTX>>
.<<GET COMPIL>>
.<<GET COMPUT>>
.SET SECTIONPARS(,,Bibliography,i)
.GET LSPBIB
.SET SECTIONPARS(A,1,Appendix,i)
.GET LCOMAP
.END "Text"
.
.
.insert FNINDEX
.mkindex(FUNCTION INDEX,FNINDEX)
.mkcontents
.END "ASSEMBLY"